Recent studies have provided evidence of associations between neurochemistry and reading (dis)ability (Pugh et al., 2014). Based on a long history of studies indicating that fluent reading entails the automatic convergence of the written and spoken forms of language and our recently proposed Neural Noise Hypothesis (Hancock et al., 2017), we hypothesized that individual differences in cross-modal integration would mediate, at least partially, the relationship between neurochemical concentrations and reading. Cross-modal integration was measured in 231 children using a two-alternative forced (...) choice cross-modal matching task with three language conditions (letters, words, and pseudowords) and two levels of difficulty within each language condition. Neurometabolite concentrations of Choline (Cho), Glutamate (Glu), gamma-Aminobutyric (GABA), and N- acetyl-aspartate (NAA) were then measured in a subset of this sample (n = 70) with Magnetic Resonance Spectroscopy (MRS). A structural equation mediation model revealed that the effect of cross-modal word matching mediated the relationship between increased Glu (which has been proposed to be an index of neural noise) and poorer reading ability. In addition, the effect of cross-modal word matching fully mediated a relationship between increased Cho and poorer reading ability. Multilevel mixed effects models confirmed that lower Cho predicted faster cross-modal matching reaction time, specifically in the hard word condition. These Cho... (shrink)

In the modal literature various notions of completeness have been studied for normal modal logics. Four of these are defined here, viz. (plain) completeness, first-order completeness, canonicity and possession of the finite model property — and their connections are studied. Up to one important exception, all possible inclusion relations are either proved or disproved. Hopefully, this helps to establish some order in the jungle of concepts concerning modal logics. In the course of the exposition, the interesting properties of first-order definability (...) and preservation under ultrafilter extensions are introduced and studied as well. (shrink)

Gabbay has gathered an enormous amount of results; some of them important and novel, others important but already known, many rather routine, however. The organization of this material shows grave defects, both in the exposition and in its logical structure. Intensional logic appears as a vast collection of (often duplicated) loosely connected results. This may be a true reflection of the present state of the subject, but it does not contribute to a better understanding of it, let alone advance it.

This Handbook documents the main trends in current research between logic and language, including its broader influence in computer science, linguistic theory and cognitive science. The history of the combined study of Logic and Linguistics goes back a long way, at least to the work of the scholastic philosophers in the Middle Ages. At the beginning of this century, the subject was revitalized through the pioneering efforts of Gottlob Frege, Bertrand Russell, and Polish philosophical logicians such as Kazimierz Ajdukiewicz. Around (...) 1970, the landmark achievements of Richard Montague established a junction between state-of-the-art mathematical logic and generative linguistic theory. Over the subsequent decades, this enterprise of Montague Grammar has flourished and diversified into a number of research programs with empirical and theoretical substance. This appears to be the first Handbook to bring logic-language interface to the fore. Both aspects of the interaction between logic and language are demonstrated in the book i.e. firstly, how logical systems are designed and modified in response to linguistic needs and secondly, how mathematical theory arises in this process and how it affects subsequent linguistic theory. The Handbook presents concise, impartial accounts of the topics covered. Where possible, an author and a commentator have cooperated to ensure the proper breadth and technical content of the papers. The Handbook is self-contained, and individual articles are of the highest quality. (shrink)

We give in this paper a sufficient condition, cast in semantic terms, for Hallden-completeness in normal modal logics, a modal logic being said to be Hallden-complete (or Ήallden-reasonable') just in case for any disjunctive formula provable in the logic, where the disjuncts have no propositional variables in common, one or other of those disjuncts is provable in the logic.

In this paper thecanonicalmodal logics, a kind of complete modal logics introduced in K. Fine [4] and R. I. Goldblatt [5], will be characterized semantically using the concept of anultrafilter extension, an operation on frames inspired by the algebraic theory of modal logic. Theorem 8 of R. I. Goldblatt and S. K. Thomason [6] characterizing the modally definable Σ⊿-elementary classes of frames will follow as a corollary. A second corollary is Theorem 2 of [4] which states that any complete modal (...) logic defining a Σ⊿-elementary class of frames is canonical.The main tool in obtaining these results is the duality between modal algebras and general frames developed in R. I. Goldblatt [5]. The relevant notions and results from this theory will be stated in §2. The concept of a canonical modal logic is introduced and motivated in §3, which also contains the above-mentioned theorems. In §4, a kind of appendix to the preceding discussion, preservation of first-order sentences under ultrafilter extensions is discussed.The modal language to be considered here has an infinite supply of proposition letters, a propositional constant ⊥, the usual Boolean operators ¬, ∨, ∨, →, and ↔ —with ¬ and ∨ regarded as primitives—and the two unary modal operators ◇ and □ — ◇ being regarded as primitive. Modal formulas will be denoted by lower case Greek letters, sets of formulas by Greek capitals. (shrink)

In the modal literature various notions of "completeness" have been studied for normal modal logics. Four of these are defined here, viz. completeness, first-order completeness, canonicity and possession of the finite model property -- and their connections are studied. Up to one important exception, all possible inclusion relations are either proved or disproved. Hopefully, this helps to establish some order in the jungle of concepts concerning modal logics. In the course of the exposition, the interesting properties of first-order definability and (...) preservation under ultrafilter extensions are introduced and studied as well. (shrink)

There are thirteen essays in this collection. Sophisticated disquisitions on rather disparate topics, they contain a number of statements which are obscure to me and, I wager, to many readers, including metaphysicians. There is space here to note only a few of the several recurrent themes in Miller’s essays. First and foremost is the notion of the primacy of action. The affirmation of values, he says, is not a "matter of logic but of action," and "values become real only in (...) the deed"—values being prior to mere facts. Miller’s action-philosophy entails an exaltation of will over intellect. For instance, he says that "the pursuit of truth is itself a gesture of will." Another recurrent theme is the human inescapability of history—of time, process, transitoriness, corruptibility. What Miller calls "ahistorical sublimity" is purchased at too high a price-the price of a "radical impersonality" with an "apparent irrelevance to action and values." Miller’s view of freedom can be called intellectualist: "It is," he says, "in the ‘revision’ of truth that freedom is found." He refers not to "static" truth in the impersonal mode of physics but to dynamic truth in the mode of personal creativity. For "creative adventure," by action and experiment, he holds, is the mark of freedom. The entire "midworld" of artifacts, including arts, sciences, and languages, is the province of "responsible freedom." This whole area should be marked by "skepticism" as well as freedom, because skepticism is man’s best weapon against "absolutist pretensions," Miller persuasively argues. Furthermore, he stresses the point that there is no fact within our ken which is not linguistically expressible, so that "responsible humanism" is inconceivable without responsible use of language. The desideratum, as Miller says, is "controlled receptivity" regarding the employment of all linguistic signs and instruments. For "nature," the common object of all our knowledge, embraces not only facts but artifacts as well, including languages. He says that only "purposeful artifacts"-especially languages—put us in touch with actuality and history. History alone, he argues, leads into philosophy. "Ahistoric ideals," present everywhere in classical thought, stand in the way of this wedding of history and philosophy. A happy wedding for, according to Miller, there is no human knowledge that is not historical; everything human is dated. Miller is an action-philosopher because he is a history-philosopher. He contends that there is no freedom for us outside of history. He hails skepticism regarding "ahistoric ideals" as a kind of "negative absolutism." And he says that such skepticism is an "experience, not a theory," and that it makes "metaphysics of the transcendent" possible. He does not explain what that metaphysics is. Apparently, his "skepticism" is the awareness of the limited character of all philosophies. If so, it is, for Miller, our chief safeguard against the use of bloated language in the service of the ahistoric ideal.—J.F.A. (shrink)

The posterior parietal cortex (PPC) is the most likely site where egocentric spatial relationships are represented in the brain. PPC cells receive visual, auditory, somaesthetic, and vestibular sensory inputs; oculomotor, head, limb, and body motor signals; and strong motivational projections from the limbic system. Their discharge increases not only when an animal moves towards a sensory target, but also when it directs its attention to it. PPC lesions have the opposite effect: sensory inattention and neglect. The PPC does not seem (...) to contain a “map” of the location of objects in space but a distributed neural network for transforming one set of sensory vectors into other sensory reference frames or into various motor coordinate systems. Which set of transformation rules is used probably depends on attention, which selectively enhances the synapses needed for making a particular sensory comparison or aiming a particular movement. (shrink)

Many research ethics guidelines now oblige researchers to offer research participants the results of research in which they participated. This practice is intended to uphold respect for persons and ensure that participants are not treated as mere means to an end. Yet some scholars have begun to question a generalised duty to disclose research results, highlighting the potential harms arising from disclosure and questioning the ethical justification for a duty to disclose, especially with respect to individual results. In support of (...) this view, we argue that current rationales for a duty of disclosure do not form an adequate basis for an ethical imperative. We review policy guidance and scholarly commentary regarding the duty to communicate the results of biomedical, epidemiological and genetic research to research participants and show that there is wide variation in opinion regarding what should be disclosed and under what circumstance. Moreover, we argue that there is fundamental confusion about the notion of “research results,” specifically regarding three core concepts: the distinction between aggregate and individual results, amongst different types of research, and across different degrees of result veracity. Even where policy guidance and scholarly commentary have been most forceful in support of an ethical imperative to disclose research results, ambiguity regarding what is to be disclosed confounds ethical action. (shrink)

The statistical properties of a single quantum object and an ensemble of independent such objects are considered in detail for two-level systems. Computer simulations of dynamic zero-point quantum fluctuations for a single quantum object are reported and compared with analytic solutions for the ensemble case.

We review some of the essential novel ideas introduced by Bohm through the implicate order and indicate how they can be given mathematical expression in terms of an algebra. We also show how some of the features that are needed in the implicate order were anticipated in the work of Grassmann, Hamilton, and Clifford. By developing these ideas further we are able to show how the spinor itself, when viewed as a geometric object within a geometric algebra, can be given (...) a meaning which transcends the notion of the usual metric geometry in the sense that it must be regarded as an element of a broader and more general pregeometry. (shrink)

It has been proposed that the implicate order can be given mathematical expression in terms of an algebra and that this algebra is similar to that used in quantum theory. In this paper we bring out in a simple way those aspects of the algebraic formulation of quantum theory that are most relevant to the implicate order. By using the properties of the standard ket introduced by Dirac we describe in detail how the Heisenberg algebra can be generalized to produce (...) an algebraic structure in which it is possible to describe space translations in a way that is analogous to the description of rotations in a Clifford algebra. This approach opens up the possibility of going beyond the limits of the present quantum formalism and we discuss briefly some of the new implications. (shrink)

Daydreaming appears to have a complex relationship with life satisfaction and happiness. Here we demonstrate that the facets of daydreaming that predict life satisfaction differ between men and women , that the content of daydreams tends to be social others , and that who we daydream about influences the relation between daydreaming and happiness variables like life satisfaction, loneliness, and perceived social support . Specifically, daydreaming about people not close to us predicts more loneliness and less perceived social support, whereas (...) daydreaming about close others predicts greater life satisfaction. Importantly, these patterns hold even when actual social network depth and breadth are statistically controlled, although these associations tend to be small in magnitude. Individual differences and the content of daydreams are thus important to consider when examining how happiness relates to spontaneous thoughts. (shrink)

Background: Expanded newborn screening generates incidental results, notably carrier results. Yet newborn screening programmes typically restrict parental choice regarding receipt of this non-health serving genetic information. Healthcare providers play a key role in educating families or caring for screened infants and have strong beliefs about the management of incidental results. Methods: To inform policy on disclosure of infant sickle cell disorder (SCD) carrier results, a mixed-methods study of healthcare providers was conducted in Ontario, Canada, to understand attitudes regarding result management (...) using a cross-sectional survey (N = 1615) and semistructured interviews (N = 42). Results: Agreement to reasons favouring disclosure of SCD carrier results was high (65.1%–92.7%) and to reasons opposing disclosure was low (4.1%–18.1%). Genetics professionals expressed less support for arguments favouring disclosure (35.3%–78.8%), and more agreement with arguments opposing disclosure (15.7%–51.9%). A slim majority of genetics professionals (51.9%) agreed that a reason to avoid disclosure was the importance of allowing the child to decide to receive results. Qualitatively, there was a perceived “duty” to disclose, that if the clinician possessed the information, the clinician could not withhold it. Discussion: While a majority of respondents perceived a duty to disclose the incidental results of newborn screening, the policy implications of these attitudes are not obvious. In particular, policy must balance descriptive ethics (ie, what providers believe) and normative ethics (ie, what duty-based principles oblige), address dissenting opinion and consider the relevance of moral principles grounded in clinical obligations for public health initiatives. (shrink)